$\forall$$E$:Type, ${\it info}$:($E$$\rightarrow$(Id$\times$Id+(IdLnk$\times$$E$)$\times$Id)), $e$:$E$. kind($e$) $\in$ Knd